Making Abduction More Efficient
نویسندگان
چکیده
Introduct ion The TACITUS system uses a cost-based abduction scheme for finding and choosing among possible interpretations for natural language texts. Ordinary Prologstyle, backchaining deduction is augmented with the capability of making assumptions and of factoring two goal literals that are unifiable (see Hobbs et al., 1988). Deduction is combinatorially explosive, and since the abduction scheme augments deduction with two more options at each node--assumpt ion and factor ing-i t is even more explosive. We have been engaged in an empirical investigation of the behavior of this abductive scheme on a knowledge base of nearly 400 axioms, performing relatively sophisticated linguistic processing. So far, we have begun to experiment, with good results, with three different techniques for controlling abduct ion-a type hierarchy, unwinding or avoiding transitivity axioms, and various heuristics for reducing the branch factor of the search.
منابع مشابه
Interpretation as Abduction
Hobbs, J.R., M.E. Stickel, D.E. Appelt and P. Martin, Interpretation as abduction, Artificial Intelligence 63 (1993) 69-142. Abduction is inference to the best explanation. In the TACITUS project at SRI we have developed an approach to abductive inference, called "weighted abduction", that has resulted in a significant simplification of how the problem of interpreting texts is conceptualized. T...
متن کاملTowards Practical Tabled Abduction Usable in Decision Making
Abduction as reasoning paradigm has been much explored in Artificial Intelligence, but not yet taken up by decision making as much as its potential warrants. Indeed, abduction permits the generation of hypothetical knowledge based scenarios, about which one can then equate decisions. One reason for this state of affairs is that abduction is difficult to implement efficaciously, even by experts,...
متن کاملA comparison between transoral glottis-widening techniques for bilateral vocal fold immobility.
OBJECTIVE Comparison of different endoscopic glottis-widening procedures designed for bilateral vocal cord immobility (BVCI) is a challenge. This is because a statistically efficient analysis and comparable clinical series is hard to obtain considering the variable aspects of the results and the evaluation methods. This study of a large number of cadaver larynges provides comparable, objective ...
متن کاملPropositional Abduction with Implicit Hitting Sets
Logic-based abduction finds important applications in artificial intelligence and related areas. One application example is in finding explanations for observed phenomena. Propositional abduction is a restriction of abduction to the propositional domain, and complexity-wise is in the second level of the polynomial hierarchy. Recent work has shown that exploiting implicit hitting sets and propos...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990